More from this Author

Theorem Proving in Higher Order Logics

by Stefan Berghofer (Editor), Tobias Nipkow (Editor), Christian Urban (Editor), Makarius Wenzel (Editor)

Automated Reasoning

by Rajeev Gore (Editor), Alexander Leitsch (Editor), Tobias Nipkow (Editor)

Higher-Order Algebra, Logic, and Term Rewriting

by Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor), Tobias Nipkow (Editor)

Types for Proofs and Programs

by Hank Barendregt (Editor), Tobias Nipkow (Editor)

Software Safety and Security

by Tobias Nipkow (Editor), Orna Grumberg (Editor)